-
1 lattice-theoretic logic
Большой англо-русский и русско-английский словарь > lattice-theoretic logic
-
2 lattice-theoretic logic
Математика: теоретико-решеточная логикаУниверсальный англо-русский словарь > lattice-theoretic logic
-
3 lattice-theoretic logic
English-Russian scientific dictionary > lattice-theoretic logic
-
4 lattice-theoretic
теоретико-структурный - lattice-theoretic dimension - lattice-theoretic identity - lattice-theoretic logic - lattice-theoretic propertyБольшой англо-русский и русско-английский словарь > lattice-theoretic
-
5 logic
-
6 теоретико-решеточная логика
Большой англо-русский и русско-английский словарь > теоретико-решеточная логика
-
7 identity
1) матем. единица || единичный2) идентичность, одинаковость, тождественность5) опознание; отождествление6) матем. тождество7) геол. однородность•component of the identity — матем. компонента единицы
monoid with identity — матем. полугруппа с единицей
ring with identity — матем. кольцо с единицей
ring without identity — матем. кольцо без единицы
semigroup with identity — матем. полугруппа с единицей
semigroup without identity — матем. полугруппа без единицы
to reduce to an identity — матем. обращать в тождество
to satisfy an identity — мат. удовлетворять тождеству
См. также в других словарях:
Lattice of subgroups — In mathematics, the lattice of subgroups of a group G is the lattice whose elements are the subgroups of G, with the partial order relation being set inclusion.In this lattice, the join of two subgroups is the subgroup generated by their union,… … Wikipedia
Quantum logic — In mathematical physics and quantum mechanics, quantum logic is a set of rules for reasoning about propositions which takes the principles of quantum theory into account. This research area and its name originated in the 1936 paper by Garrett… … Wikipedia
Mathematical logic — (also known as symbolic logic) is a subfield of mathematics with close connections to foundations of mathematics, theoretical computer science and philosophical logic.[1] The field includes both the mathematical study of logic and the… … Wikipedia
Structure (mathematical logic) — In universal algebra and in model theory, a structure consists of a set along with a collection of finitary operations and relations which are defined on it. Universal algebra studies structures that generalize the algebraic structures such as… … Wikipedia
Distributive lattice — In mathematics, distributive lattices are lattices for which the operations of join and meet distribute over each other. The prototypical examples of such structures are collections of sets for which the lattice operations can be given by set… … Wikipedia
Heyting algebra — In mathematics, Heyting algebras are special partially ordered sets that constitute a generalization of Boolean algebras, named after Arend Heyting. Heyting algebras arise as models of intuitionistic logic, a logic in which the law of excluded… … Wikipedia
Скотт, Дана Стюарт — В Википедии есть статьи о других людях с фамилией Скотт. Дана Скотт Dana Stewart Scott Дата рождения … Википедия
Дана Стюарт Скотт — Дана Скотт Dana Stewart Scott Дата рождения: 1932(1932) Гражданство … Википедия
Дана Скотт — Dana Stewart Scott Дата рождения: 1932(1932) Гражданство … Википедия
Скотт, Дана — В Википедии есть статьи о других людях с такой фамилией, см. Скотт. Дана Скотт Dana Stewart Scott … Википедия
Mereotopology — In formal ontology, a branch of metaphysics, and in ontological computer science, mereotopology is a first order theory, embodying mereological and topological concepts, of the relations among wholes, parts, parts of parts, and the boundaries… … Wikipedia